логика квантовой механики


логика квантовой механики
        ЛОГИКА КВАНТОВОЙ МЕХАНИКИ — раздел логики, изучающий применение логических методов к квантовой механике. Исторически начало логических исследований структур квантовой теории связывают с монографией И. фон Неймана «Математические основы квантовой механики» (1932), в которой указывалось на возможность построения логического исчисления над проекционными операторами. В 1936 фон Нейман и Г. Биргкоф осуществили идею подобного логического исчисления, получив его в виде ортомодулярной решетки замкнутых подпространств гильбертового пространства, для которой закон дистрибутивности не имеет места. К этому же периоду относится и работа Ф. Звицки, в которой ставится вопрос об особой многозначной логике квантовой механики. В 1944 выходит книга «Философские основания квантовой механики» Г. Рейхенбаха, сконструировавшего трехзначную логику для устранения «причинных аномалий», возникающих при попытках применить классическое причинное объяснение в терминах обычного евклидовою пространства в квантовых явлениях. Идея многозначной Л. к. м. была поддержана в книге «Структура физической теории» П. Детуш-Феврие (1951), а затем К.Ф. фон Вайцзеккером в работе «Дополнительность и логика» (1956).
        В СССР первые работы подобного рода появились в конце 50-х — начале 60-х гг. 20 в., а на страницах журнала «Вопросы философии» в 1970 состоялась целая дискуссия, посвященная проблемам Л. к. м. Комплексная программа исследований по Л. к. м. была организована в начале 70-х гг. при университете провинции Западного Онтарио ( г. Лондон, Канада). Работы по Л. к. м. включают в себя и 25-й том «Бостонских исследований», публикующий труды Ассоциации философов науки за 1974. Среди монографий на эту тему следует отметить книгу «Квантовая логика» П. Миттельштедта (1978), в отечественной литературе — книгу B.C. Меськова «Очерки по логике квантовой механики» (1986).
        Разнообразие предложенных в этот период исчислений Л. к. м., по мнению некоторых авторов, является свидетельством того, что Л. к. м. все еще не сформулировала единого и общепринятого теоретического каркаса. Т е м не менее многие исследователи рассматривают Л. к. м. как основание альтернативной формулировки квантовой теории.
        Построение аксиоматических систем Л. к. м. ( Р. Гольдблатт, Г. Хардегри, X. Нишимура, Н.Дж. Катленд и П. Ф. Гиббинс, М. Фридман и К. Глаймур) привело к разработке семантики Л. к. м., свободной от формализма гильбертовых пространств квантовой теории (В.Э. Стахов, П. Миттельштедт). Предпринимаются попытки модального расширения Л. к. м., когда техника модальной логики используется для анализа квантовомеханических закономерностей (Б.К. ван Фраассен), либо вводится в рассмотрение квантовая модальность (П. Миттельштедт).
        Попытка перестройки квантовой механики на основании Л. к. м. была предпринята К. Пироном в рамках разработанного им в 60-е гг. логического формализма. Однако в последнее время было обнаружено (Н. Хаджисаввас, Ф. Тьеффин и М. Мутур-Шахтер), что формализм К. Пирона, несмотря на свою непротиворечивость, обладает некоторыми синтаксическими характеристиками, из-за которых попытка интерпретировать в нем квантовую механику наталкивается на серьезные трудности, делающие подобную интерпретацию невозможной. Предпринимаются попытки построения логических систем Л. к. м., более отвечающих математическому формализму квантовой механики и способных послужить в качестве фундамента современной квантовой теории (Д. Йеттер, К. Малви, О. Малхаз, В.Л. Васюков)
        Еще одно направление исследований связано с системами релятивистской Л. к. м., полученными обобщением Л. к. м. и квантовой вероятности на случай релятивистского пространства-времени. С этой целью используется предложенная Г. Такеути в рамках построенной им квантовой теории множеств процедура квантования (М. Банаи). Др. подход (П. Миттельштедт) основывается на модификации диалоговой семантики Л. к. м., учитывающей эволюцию квантовой системы.
        Среди новых разделов Л. к. м. можно выделить размытые (unsharp) логики (Р. Джунтини и др.), логики Брауэра-Заде (Дж. Каттанео и Дж. Нистико), а также системы, семантика которых основывается на квантовых вычислениях (М.Л. Далла Кьяра и др.).
        В.Л. Васюков
        Лит.: Меськов B.C. Очерки по логике квантовой механики. М., 1986; Васюков В.Л. Квантовая логика. М. 2004. Birkhoff С, Neumann J. von. The Logic of quantum mechanics // Annal. Math. 1936. Vol. 37. P. 823—843; The Logico-algebraic approach to quantum mechanics (Vol. 1; Historical evolution) // Ed. By Hooker C. A. D., 1975; The Logico-algebraic approach to quantum mechanics (Vol. 2, Contemporary consolidation) // Ed. By Hooker C.A. D.,1979; Current Issues in Quantum Logic Eds. Beltrametti S., Fraassen B. Van. N.Y., L.,1981; M.L. Dalla Chiara. Quantum Logic // Handbook of Philosophical Logic. Vol. III. 1986. P. 427—69.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Смотреть что такое "логика квантовой механики" в других словарях:

  • ЛОГИКА КВАНТОВОЙ МЕХАНИКИ — логика, все законы к рой применимы в рассуждениях об объектах микромира и в частности об объектах, рассматриваемых в квантовой механике (отсюда и название этой логики). Обычная классич. логика не может служить логикой рассуждений о микрообъектах …   Философская энциклопедия

  • логика квантовой механики — логическая теория, цель которой описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько радикальным, что возникла идея особой логики… …   Словарь терминов логики

  • Интерпретация квантовой механики —     Квантовая механика …   Википедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • логика неклассическая — совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе… …   Словарь терминов логики

  • логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… …   Словарь терминов логики

  • ТРЕХЗНАЧНАЯ ЛОГИКА — раздел многозначной логики, в к ром высказываниям, помимо обычных истинностных значений истинно и ложно , приписывается еще третье значение (напр., неопределенно , или нейтрально , или бессмысленно и т.п.). Идея трехзначности высказываний… …   Философская энциклопедия

Книги

Другие книги по запросу «логика квантовой механики» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.